检索结果

Select

1. 基于时间自动机模型的无线传感器网络数据收集协议测试用例生成

王非, 杨红丽, 秦胜潮, 胡世超, 刘渊

计算机应用 2015, 35 (4): 1164-1168. DOI: 10.11772/j.issn.1001-9081.2015.04.1164

摘要（568）

PDF （739KB）（627）

从协议测试的角度出发研究了基于时间自动机模型的无线传感器网络数据收集协议测试用例生成方法,提出利用UPPAAL工具对数据收集协议建立时间自动机模型,进而利用UPPAAL CoVer工具生成满足特定覆盖标准的测试路径集合的方法。为了便于生成实际测试用例,开发了辅助自动测试用例生成工具ATCGT。通过一个工业界的无线抄表数据收集协议的建模与测试用例生成实例,阐明了该方法的有效性。

参考文献 | 相关文章 | 多维度评价

Select

2. 基于买方-卖方的安全数字水印协议

王非陈虹肖振久

计算机应用 2011, 31 (05): 1288-1290. DOI: 10.3724/SP.J.1087.2011.01288

摘要（1304）

PDF （640KB）（938）

针对目前数字版权保护协议中第三方负担过重的缺陷,提出一种简洁、高效、安全的保护买、卖方权益的数字水印协议及其模型。该协议通过内容服务器产生数字水印池和移动代理动态分发许可证这两种机制,解决了共谋容限性、中间人攻击、硬盘克隆攻击和用户叛逆等安全问题。并通过加密、认证、数字签名和单向置换函数有效地保证了协议中实体交互数据的安全性和完整性。另外,还采用买方脱离仲裁的机制,使得协议更为完善、可行。

相关文章 | 多维度评价

Select

3. 基于数据融合和相关度反馈的信息检索方法

王非

计算机应用

摘要（1473）

PDF （817KB）（979）

数据融合和基于相关度反馈的查询扩展是两种有效的检索过程优化技术。前者通过集成多个检索结果提高检索性能，后者执行多次查询，依据前次结果修改/扩展用户查询，以求更好地反映用户信息需求。在混合数据融合和查询扩展技术的基础上提出一种检索过程优化方法——HQD方法，由相关度反馈结果生成多个替代查询，检索这些替代查询后采用求和余弦方法生成最终检索结果。HQD方法能有效提高检索性能。